More from this Author

Foundations of Security, Protocols, and Equational Reasoning

by Joshua D. Guttman (Editor), Carl E. Landwehr (Editor), José Meseguer (Editor), Dusko Pavlovic (Editor)

Algebraic Methodology and Software Technology

by Michael Johnson (Editor), Dusko Pavlovic (Editor)